Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators
نویسندگان
چکیده
Matsumoto and Amano (2008) showed that every single-qubit Clifford+T operator can be uniquely written of a particular form, which we call the Matsumoto-Amano normal form. In this mostly expository paper, we give a detailed and streamlined presentation of Matsumoto and Amano’s results, simplifying some proofs along the way. We also point out some corollaries to Matsumoto and Amano’s work, including an intrinsic characterization of the Clifford+T subgroup of SO(3), which also yields an efficient T -optimal exact single-qubit synthesis algorithm. Interestingly, this also gives an alternative proof of Kliuchnikov, Maslov, and Mosca’s exact synthesis result for the Clifford+T subgroup of U(2).
منابع مشابه
Generators and relations for n-qubit Clifford operators
We define a normal form for Clifford circuits, and we prove that every Clifford operator has a unique normal form. Moreover, we present a rewrite system by which any Clifford circuit can be reduced to normal form. This yields a presentation of Clifford operators in terms of generators and relations.
متن کاملRemarks on the Paper ``Coupled Fixed Point Theorems for Single-Valued Operators in b-Metric Spaces''
In this paper, we improve some recent coupled fixed point resultsfor single-valued operators in the framework of ordered $b$-metricspaces established by Bota et al. [M-F. Bota, A. Petrusel, G.Petrusel and B. Samet, Coupled fixed point theorems forsingle-valued operators in b-metric spaces, Fixed Point TheoryAppl. (2015) 2015:231]. Also, we prove that Perov-type fix...
متن کاملThe exact synthesis of 1- and 2-qubit Clifford+T circuits
We describe a new method for the decomposition of an arbitrary n qubit operator with entries in Z[i, 1 √ 2 ], i.e., of the form a+b √ 2+i(c+d √ 2) √ 2 k , into Clifford+T operators where n ≤ 2. This method achieves a bound of O(k) gates using at most one ancilla using decomposition into 1and 2-level matrices which was first proposed by Giles and Selinger in [2].
متن کاملRepresentation of Quantum Circuits with Clifford and π/8 Gates
In this paper, we introduce the notion of a normal form of one qubit quantum circuits over the basis {H,P, T}, where H , P and T denote the Hadamard, Phase and π/8 gates, respectively. This basis is known as the standard set and its universality has been shown by Boykin et al. [FOCS ’99]. Our normal form has several nice properties: (i) Every circuit over this basis can easily be transformed in...
متن کاملExact synthesis of multi-qubit Clifford+T circuits
We prove that a unitary matrix has an exact representation over the Clifford+T gate set with local ancillas if and only if its entries are in the ring Z[ 1 √ 2 , i]. Moreover, we show that one ancilla always suffices. These facts were conjectured by Kliuchnikov, Maslov, and Mosca. We obtain an algorithm for synthesizing a exact Clifford+T circuit from any such n-qubit operator. We also characte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1312.6584 شماره
صفحات -
تاریخ انتشار 2013